Статья 1217

Название статьи

ПРЕОБРАЗОВАНИЕ АВТОМАТНЫХ СПЕЦИФИКАЦИЙ В ФУНКЦИОНАЛЬНО-БЛОЧНУЮ РЕАЛИЗАЦИЮ
СИСТЕМЫ УПРАВЛЕНИЯ СОРТИРОВКОЙ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЕТАЛЕЙ 

Авторы

Дубинин Виктор Николаевич, доктор технических наук, профессор, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), dubinin.victor@gmail.com
Сенокосов Илья Владимирович, магистрант, кафедра вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40),  senokosov.i@yandex.ru
Вяткин Валерий Владимирович, доктор технических наук, профессор, кафедра «Ответственные коммуникации и вычисления», Технический университет Лулео (Швеция, г. Лулео, ул. Регнбогсаллен, корп. А), valeriy.vyatkin@ltu.se
Климкина Людмила Петровна, старший преподаватель, кафедра организации и информатизации производства, Пензенский государственный аграрный университет (Россия, г. Пенза, ул. Ботаническая, 30), ludmila.klimkina@gmail.com

Индекс УДК

681.513

DOI

10.21685/2072-3059-2017-2-1

Аннотация

Актуальность и цели. Усложнение выпускаемых изделий приводит к усложнению технологического процесса их изготовления. Важной составной частью производственных систем наряду с центрами обработки деталей становятся также центры сортировки и хранения деталей. Целью работы является разработка методов и средств описания и синтеза компонентно-базированных систем управления сортировкой деталей на основе выборки специфицированных последовательностей. Объект исследования – инфомехатронные производственные системы для сортировки деталей. Предмет исследования – методы и средства проектирования и реализации систем управления сортировкой последовательностей деталей на основе международного стандарта IEC 61499.
Материалы и методы. Исследования выполнены с использованием теории конечных автоматов и формальных языков, графовых трансформаций, логического программирования, а также методов разработки программного обеспечения управляющих систем на основе функциональных блоков (ФБ) стандарта  IEC 61499.
Результаты. Разработаны: 1) формальная модель селектирующего автомата для спецификации и выборки последовательностей деталей в промышленных системах сортировки; 2) подход к реализации селектирующих автоматов на основе ФБ с использованием механизма передачи маркеров; 3) система вывода графов, определяющая процесс порождения структур систем ФБ IEC 61499 из конечноавтоматной спецификации селектируемых последовательностей деталей; 4) методика трансляции автоматных спецификаций селектируемых последовательностей деталей в систему управления сортировкой на основе ФБ IEC 61499.
Выводы. Предложенный подход к построению систем сортировки последовательностей деталей является новым и еще не применялся в промышленной практике. Разработанные методы и средства описания и синтеза функционально-блочной системы управления сортировкой последовательностей деталей являются удобными и эффективными, что подтверждается опытом создания и эксплуатации соответствующих инструментальных программных средств.

Ключевые слова

сортировка, выборка, последовательность деталей, спецификация, конечный автомат, недетерминированный автомат, селектирующий автомат, передача маркеров, вывод графов, язык Prolog, функциональный блок, система управления, стандарт IEC 61499, система сортировки шаров, nxtStudio

 

 Скачать статью в формате PDF

Список литературы

1. Сайт EasyVeep. Ball sorting system. – URL: http://www.easyveep.com/ modules.php?akt_modul=7&akt_Lang=2
2. Rose, K. The Internet of Things: An Overview / K. Rose, S. Eldridge, L. Chapin // Internet Society. – 2015. – October. – 51 p.
3. Х опкрофт, Дж. Введение в теорию автоматов, языков и вычислений / Дж. Хопкрофт, Р. Мотвани, Дж. Ульман. – М. : Вильямс, 2002. – 528 с.
4. Hassibi, K. M. A Multi-Sensor Robotics System For Object Recognition / K. M. Hassibi, K. A. Loparo, F. L. Merat // Proc. SPIE 1002, Intelligent Robots and Computer Vision VII, 1989.
5. Model-Driven Software Development / B. Sami, M. Book, V. Gruhn (eds.). – London: Springer, 2005.–464p.
6. Vyatkin V. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, second Edition / V. Vyatkin. – Instrumentation Society of America (ISA) and O3neida, 2011. – 297 p.
7. Клоксин, У. Программирование на языке Пролог / У. Клоксин, К. Меллиш. –М. : Мир, 1987. – 336 с.
8. Вашкевич, Н. П. Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации : моногр. / Н. П. Вашкевич, Р. А. Бикташев. – Пенза : Изд-во ПГУ, 2016. – 394 с.
9. Ду бинин, В. Н. Проектирование и реализация систем управления дискретными событийными системами на основе иерархических модульных недетерминированных автоматов (Ч. 2. Методы и средства) / В. Н. Дубинин, Д. А. Будаговский, Д. Н. Дроздов, Д. В. Артамонов // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2016. – № 2 (38). – C. 18–32.
10. Graph Transformation for Practical Model Driven Software Engineering / L. Grunske, L. Geiger, A. Zuendorf, N. V. Eetvelde, P. V. Gorp, D. Varro // Model-driven Software Development. – Berlin ; Heidelberg : Springer Verlag, 2005. – P. 91–118.
11. Сайт nxtStudio (nxtControl). – URL: http://www.nxtcontrol.com/

 

Дата создания: 07.11.2017 09:42
Дата обновления: 07.11.2017 11:12